@proceedings{BorTru_j2014, editor = {Henning~Bordihn and Bianca~Truthe}, title = {{24. Theorietag "`Automaten und Formale Sprachen"', Caputh, 23.--25. September 2014}}, year = 2014, publisher = {Universit{\"a}t Potsdam}, series = {Berichte Institut f{\"u}r Informatik und Computational Science}, volume = {TR-2014-2} }